1. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
2. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: (طهران)
موضوع : ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
3. Logic and Program Semantics
پدیدآورنده : / Robert L. Constable, Alexandra Silva
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
4. Logic and Program Semantics
پدیدآورنده : edited by Robert L. Constable, Alexandra Silva
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
5. Logic and program semantics
پدیدآورنده : Robert L. Constable, Alexandra Silva (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic,Computer programming,Software engineering
رده :
QA76
.
9
.
L63
L64
2012eb
6. Renaissance and renewal in the twelfth century
پدیدآورنده : edited by Robert L. Benson and Giles Constable
کتابخانه: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)
موضوع : 674 - 2941 ، Europe - History
رده :
D
200
.
R45
1982
